181![Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite](https://www.pdfsearch.io/img/c20b1f636c1de8d110df7fc41180b57a.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2013-06-03 18:23:17
|
---|
182![Mixed Discrete-Continuous Planning with Complex Behaviors Enrique Fernandez-Gonzalez Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Building, Cambri Mixed Discrete-Continuous Planning with Complex Behaviors Enrique Fernandez-Gonzalez Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Building, Cambri](https://www.pdfsearch.io/img/abb08aaab077274fbe41af58ebc65c12.jpg) | Add to Reading ListSource URL: icaps16.icaps-conference.orgLanguage: English - Date: 2016-06-09 08:09:29
|
---|
183![Poster: IoTcube: An Automated Analysis Platform for Finding Security Vulnerabilities Seulbae Kim, Seunghoon Woo, Heejo Lee, Hakjoo Oh Department of Computer Science and Engineering Korea University Seoul, Korea Poster: IoTcube: An Automated Analysis Platform for Finding Security Vulnerabilities Seulbae Kim, Seunghoon Woo, Heejo Lee, Hakjoo Oh Department of Computer Science and Engineering Korea University Seoul, Korea](https://www.pdfsearch.io/img/5435d8061f14b6450486204a8cd3b10c.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-05-21 15:07:31
|
---|
184![Deadline-Aware Multipath Communication: An Optimization Problem Laurent Chuat∗ , Adrian Perrig∗ , Yih-Chun Hu† of Computer Science, ETH Zurich, Switzerland † Department of Electrical and Computer Engineering, Uni Deadline-Aware Multipath Communication: An Optimization Problem Laurent Chuat∗ , Adrian Perrig∗ , Yih-Chun Hu† of Computer Science, ETH Zurich, Switzerland † Department of Electrical and Computer Engineering, Uni](https://www.pdfsearch.io/img/bb5f29102dec222012e8ce53a964177a.jpg) | Add to Reading ListSource URL: www.netsec.ethz.chLanguage: English |
---|
185![Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG Andrea Patan`e and Marta Kwiatkowska Department of Computer Science, University of Oxford Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG Andrea Patan`e and Marta Kwiatkowska Department of Computer Science, University of Oxford](https://www.pdfsearch.io/img/aa1fff0eaf0c4af9296b8b6f106d5e2f.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2018-07-24 04:40:17
|
---|
186![Jamie Hayes Contact Information University College London Dept. of Computer Science Jamie Hayes Contact Information University College London Dept. of Computer Science](https://www.pdfsearch.io/img/ab113b104d8b342e46fc717dec43b1e2.jpg) | Add to Reading ListSource URL: www.homepages.ucl.ac.ukLanguage: English - Date: 2018-10-24 08:20:07
|
---|
187![Complex Patterns in Dynamic Attributed Graphs Rina Singh, Jeffrey A. Graves, Douglas A. Talbert Department of Computer Science Tennessee Technological University Cookeville, TN USA Complex Patterns in Dynamic Attributed Graphs Rina Singh, Jeffrey A. Graves, Douglas A. Talbert Department of Computer Science Tennessee Technological University Cookeville, TN USA](https://www.pdfsearch.io/img/75f4a96502440d6a6a6d5023c7349ba7.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 00:22:43
|
---|
188![An Offline Capture The Flag-Style Virtual Machine and an Assessment of its Value for Cybersecurity Education Tom Chothia School of Computer Science University of Birmingham, UK An Offline Capture The Flag-Style Virtual Machine and an Assessment of its Value for Cybersecurity Education Tom Chothia School of Computer Science University of Birmingham, UK](https://www.pdfsearch.io/img/9430d8a909fb53abad392ac50100ab78.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2017-06-07 20:45:26
|
---|
189![A Practical Testing Framework for Isolating Hardware Timing Channels Jason Oberg∗ , Sarah Meiklejohn∗ , Timothy Sherwood† and Ryan Kastner∗ ∗ Computer Science and Engineering, University of California, San Die A Practical Testing Framework for Isolating Hardware Timing Channels Jason Oberg∗ , Sarah Meiklejohn∗ , Timothy Sherwood† and Ryan Kastner∗ ∗ Computer Science and Engineering, University of California, San Die](https://www.pdfsearch.io/img/81575e87b6a18d4ff48d47cf1f901412.jpg) | Add to Reading ListSource URL: smeiklej.comLanguage: English - Date: 2018-10-23 14:58:02
|
---|
190![STATEMENT OF PROF. KEVIN FU, PH.D. DEPARTMENT OF ELECTRICAL ENGINEERING & COMPUTER SCIENCE UNIVERSITY OF MICHIGAN ANN ARBOR, MI AND STATEMENT OF PROF. KEVIN FU, PH.D. DEPARTMENT OF ELECTRICAL ENGINEERING & COMPUTER SCIENCE UNIVERSITY OF MICHIGAN ANN ARBOR, MI AND](https://www.pdfsearch.io/img/c32ec283c234de3afb3dd309d435c29c.jpg) | Add to Reading ListSource URL: sharps.orgLanguage: English - Date: 2014-06-20 15:52:43
|
---|